The propositional and relational syllogistic∗
نویسنده
چکیده
In this paper it is shown how syllogistic reasoning can be extended to account for propositional logic and relations.
منابع مشابه
A System of Relational Syllogistic Incorporating Full Boolean Reasoning
We present a system of relational syllogistic, based on classical propositional logic, having primitives of the following form: Some a are R-related to some b; Some a are R-related to all b; All a are R-related to some b; All a are R-related to all b. Such primitives formalize sentences from natural language like ‘All students read some textbooks’. Here a, b denote arbitrary sets (of objects), ...
متن کاملAn Interpretation of Aristotle’s Syllogistic and a Certain Fragment of Set Theory in Propositional Calculi
In [1] Chapter IV Lukasiewicz presents a system of syllogistic which is an extension of Aristotle’s ordinary syllogistic. In spite of this difference Lukasiewicz speaks about it, as do we, as the Aristotelian system. One of the well-known interpretation of syllogistic is Leibnitz’s interpretation described in [1] (pp. 126–129). Syllogistic formulas are interpreted there in an arithmetical manne...
متن کاملExtending Syllogistic Reasoning
In this paper syllogistic logic is extended first to full propositional logic, and then an interesting fragment of predicate logic that
متن کاملLogics for the Relational Syllogistic
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relational syllogistic. We identify several fragments based on (a) whether negation is permitted on all nouns, including those in the subject of a sentence; and (b) whether the subject noun phrase may contain a relative clause...
متن کاملAristotle on Circular Proof
In Posterior Analytics 1.3, Aristotle advances three arguments against circular proof. The third argument relies on his discussion of circular proof in Prior Analytics 2.5. This is problematic because the two chapters seem to deal with two rather disparate conceptions of circular proof. In Posterior Analytics 1.3, Aristotle gives a purely propositional account of circular proof, whereas in Prio...
متن کامل